$\forall$$n$:$\mathbb{N}$. upto($n$) $\in$ (int\_seg(0; $n$) List)